51![Modelling Cryptographic Protocols in a Theory of Action James P. Delgrande and Torsten Grote and Aaron Hunter School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6. Modelling Cryptographic Protocols in a Theory of Action James P. Delgrande and Torsten Grote and Aaron Hunter School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6.](https://www.pdfsearch.io/img/5b6efc897283a65ac18a8abba10cce15.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2010-05-31 18:52:04
|
---|
52![A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6](https://www.pdfsearch.io/img/c3e9a0aad1f17bde3cd6133abc54a5ee.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2003-09-08 16:17:32
|
---|
53![Belief Change in the Context of Fallible Actions and Observations Aaron Hunter and James P. Delgrande School of Computing Science Faculty of Applied Sciences Simon Fraser University Burnaby, BC, Canada Belief Change in the Context of Fallible Actions and Observations Aaron Hunter and James P. Delgrande School of Computing Science Faculty of Applied Sciences Simon Fraser University Burnaby, BC, Canada](https://www.pdfsearch.io/img/cf60251c47832834cfaccac578f14c0a.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2006-11-29 19:55:52
|
---|
54![A Consistency-Based Framework for Merging Knowledge Bases James P. Delgrande ∗ School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 Torsten Schaub 1 A Consistency-Based Framework for Merging Knowledge Bases James P. Delgrande ∗ School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 Torsten Schaub 1](https://www.pdfsearch.io/img/540984a8b627a02b13c05206f56f8796.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2006-11-29 16:24:28
|
---|
55![Belief change based on global minimisation James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Belief change based on global minimisation James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6](https://www.pdfsearch.io/img/4c27f3dd8481a9a47f64903ea62bf1a2.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2006-11-29 16:50:01
|
---|
56![Parallel Belief Revision James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada Parallel Belief Revision James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada](https://www.pdfsearch.io/img/d246e101df95cdcbe5e28d15820c62f5.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2008-09-10 12:33:34
|
---|
57![Weak Conditional Logics of Normality James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Weak Conditional Logics of Normality James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6](https://www.pdfsearch.io/img/8c6f524148065d43cbc417fb861e2041.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2003-09-08 16:39:15
|
---|
58![Representing von Neumann-Morgenstern Games in the Situation Calculus Oliver Schulte and James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada Representing von Neumann-Morgenstern Games in the Situation Calculus Oliver Schulte and James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada](https://www.pdfsearch.io/img/8a7429bb5e763d5132ae53fe12a4faed.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2003-09-08 16:30:05
|
---|
59![Parallel Belief Revision: Revising by Sets of Formulas James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Parallel Belief Revision: Revising by Sets of Formulas James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6](https://www.pdfsearch.io/img/914e8a55b255808c5fef0a393b6e5825.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2012-08-16 12:35:55
|
---|
60![Belief Change and Cryptographic Protocol Verification Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca Belief Change and Cryptographic Protocol Verification Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca](https://www.pdfsearch.io/img/1980cca3fc7cab6de2d1a313e33b1dcd.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2008-05-19 14:54:15
|
---|